An optimized method towards formal verification of mixed signals using differential fed neural network over FFNN
نویسندگان
چکیده
منابع مشابه
Prediction of Cardiovascular Diseases Using an Optimized Artificial Neural Network
Introduction: It is of utmost importance to predict cardiovascular diseases correctly. Therefore, it is necessary to utilize those models with a minimum error rate and maximum reliability. This study aimed to combine an artificial neural network with the genetic algorithm to assess patients with myocardial infarction and congestive heart failure. Materials & Methods: This study utilized a m...
متن کاملscour modeling piles of kambuzia industrial city bridge using hec-ras and artificial neural network
today, scouring is one of the important topics in the river and coastal engineering so that the most destruction in the bridges is occurred due to this phenomenon. whereas the bridges are assumed as the most important connecting structures in the communications roads in the country and their importance is doubled while floodwater, thus exact design and maintenance thereof is very crucial. f...
Power Quality Disturbance Classification Using Adaptive Linear Neural Network (ADALINE) and Feed Forward Neural Network (FFNN)
Abstract: This paper presents a dual neural network based technique for detecting and classifying the power quality disturbances. In the proposed method, Adaptive Linear Neural Network is used to extract the rms voltage for harmonics and Interharmonics estimations. With the help of these indices, PQ disturbances such as Sag, Swell, Outages are detected and classified, Harmonics and Interharmoni...
متن کاملIdentifying Flow Units Using an Artificial Neural Network Approach Optimized by the Imperialist Competitive Algorithm
The spatial distribution of petrophysical properties within the reservoirs is one of the most important factors in reservoir characterization. Flow units are the continuous body over a specific reservoir volume within which the geological and petrophysical properties are the same. Accordingly, an accurate prediction of flow units is a major task to achieve a reliable petrophysical description o...
متن کاملTowards Formal Verification of Analog and Mixed-Signal Designs
This paper examines the use of formal verification methods in the analog design process. To apply formal techniques such as model checking we must abstract the analog circuit at the behavioral level, express its behavior as a state transition system while retaining the essential nonlinear properties, and use a verification tool with specifications that represent the desired analog behavior. We ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Electrical and Computer Engineering (IJECE)
سال: 2019
ISSN: 2722-2578,2088-8708
DOI: 10.11591/ijece.v9i5.pp3423-3431